Model theory and algebra
نویسندگان
چکیده
منابع مشابه
Model Theory and Differential Algebra
The origins of model theory and differential algebra, foundations of mathematics and real analysis, respectively, may be starkly different in character, but in recent decades large parts of these subjects have developed symbiotically. Abraham Robinson recognized that the broad view of model theory could supply differential algebra with universal domains, differentially closed fields . Not long ...
متن کاملModel theory for algebra
The purpose of this article is to give a general introduction to the basic ideas and techniques from model theory. I begin with some general remarks concerning model theory and its relationship with algebra. There follows a “mini-course” on first order languages, structures and basic ideas in model theory. Then there is a series of subsections which describe briefly some topics from model theory.
متن کاملModel Theory for Process Algebra
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determinism, can be added to this theory through first-order definitional extensions. Model theory is used to analyse the discrepancies between identity in the models of the first-order extension of ACP and bisimilarity of the ...
متن کاملDependence Logic in Algebra and Model Theory
Systems In this chapter we define the abstract versions of the systems that we are going to deal with for the rest of the thesis. They qualify as abstract because their semantics intend to give an abstract account of the concepts of dependence and independence, and do not refer to any particular version of these notions. The variants of dependence and independence that are conceivable are sever...
متن کاملComplexity Theoretic Model Theory and Algebra
In this paper we will survey some recent results on complexity theoretic model theory and algebra Essentially there are two major themes in this work The rst which we call complexity theoretic model theory deals with model ex istence questions For example given a recursive model A is there there a polynomial time exponential time polynomial space etc model B which is isomorphic to A The second ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 1976
ISSN: 0001-8708
DOI: 10.1016/0001-8708(76)90109-2